Digital Homotopy with Obstacles1 1This work has been partially supported by the projects DGES PB96-1374 and DGES TIC2000-1368-C03-01.
نویسندگان
چکیده
منابع مشابه
Dev118968 1368..1374
Live imaging of transcription and RNA dynamics has been successful in cultured cells and tissues of vertebrates but is challenging to accomplish in vivo. The zebrafish offers important advantages to study these processes – optical transparency during embryogenesis, genetic tractability and rapid development. Therefore, to study transcription and RNA dynamics in an intact vertebrate organism, we...
متن کاملChebychev polynomials in a speech recognition model
Advanced speech mformatlon processmg systems require further research on speakerdependent mformatlon Recently, a specific system of discrete orthogonal polynomials {4:(l), 1 = 1,2, ,L },“=, has been encountered to play a dommant role m a segmental probability model recently proposed m the speaker-dependent feature extra&on from speech waves and apphed to text-independent speaker verlficatlon He...
متن کاملA sharp concentration inequality with applications
We present a new general concentration-of-measure inequality and illustrate its power by applications in random combinatorics. The results nd direct applications in some problems of learning theory. The work of the second author was supported by DGES grant PB96-0300
متن کاملHow wide is the gap? An investigation of gender wage differences using quantile regression
We thank Manuel Arellano, Richard Blundell, Adriana Kugler and seminar participants at Universitat Pompeu Fabra, Universitat de Girona, Universidad de Oviedo, the XII Jornadas de Economía Industrial and the XV Latin American Econometric Society Meeting for suggestions. We are also grateful to the editor of this journal and an anonymous referee for useful comments. Financial support from the Ins...
متن کاملTowards a Maude Tool forModel Checking Temporal Graph PropertiesThis work has been supported by the European project ASCENS
We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified μ-calculi. Our tool can be considered as an instantiation of our approach to counterpart semantics which allows for a neat handling of creation, deletion and merging in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80980-0